1.4.2 Fast Actions
The
- Straight
left andright arrows (and
) perform
commutative and other rearrangements. See §3.2.1. - Hooked
left andright arrows (and
) perform
undo andredo actions. See §8.1.5 Simplify combines constants and reduces the operator count. See §3.2.2.Distribute expands expressions and increases the operator count. See §3.2.3Factor recognizes and combinescommon subexpression s. See §3.2.4.Evaluate binds variables and applies complex arithmetic reductions. See §3.2.5.